منابع مشابه
High-throughput screening: speeding up porous materials discovery.
A new tool (Infrasorb-12) for the screening of porosity is described, identifying high surface area materials in a very short time with high accuracy. Further, an example for the application of the tool in the discovery of new cobalt-based metal-organic frameworks is given.
متن کاملSpeeding Up Inferences in
Speeding up inferences made from large knowledge bases is a key to scaling up AI systems. The query-tree is a powerful tool for analyzing KBs containing Horn rules which takes into consideration the semantics of interpreted predicates that appear in the rules (e.g., order and sort predicates). It is a nite structure that encodes all derivations of a given set of queries and tells us which rules...
متن کاملSpeeding up snakes
In this paper we summarize new and existing approaches for the semiautomatic image segmentation based on active contour models. In order to replace the manual segmentation of images of the medical research of the Center of Anatomy at the Georg August University of Göttingen we developed a user interface based on snakes. Due to the huge images (sometimes bigger than 100 megapixels) the research ...
متن کاملSpeeding up Dynamic Programming
A number of important computational problems in molecular biology, geology, speech recognition, and other areas, can be expressed as recurrences which have typically been solved with dynamic programming. By using more sophisticated data structures, and by taking advantage of further structure from the applications, we speed up the computation of several of these recurrences by one or two orders...
متن کاملSpeeding up QUAD
QUAD is a provable secure stream cipher based on multivariate polynomials which was proposed in 2006 by Berbain, Gilbert and Patarin [1]. In this paper we show how to speed up QUAD over GF(256) by a factor of up to 5.8. We get this by using structured systems of polynomials, in particular partially circulant polynomials and polynomials generated by a linear recurring sequence (LRS), instead of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lab Animal
سال: 2021
ISSN: ['1548-4475', '0093-7355']
DOI: https://doi.org/10.1038/s41684-021-00800-4